1. A brief history of numbers /
پدیدآورنده : Leo Corry
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Number theory-- History
رده :
QA241
.
C6945
2015
2. An Introduction to Analysis
پدیدآورنده : by Arlen Brown, Carl Pearcy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global analysis (Mathematics).,Mathematics.
3. An introduction to Ramsey theory :
پدیدآورنده : Matthew Katz, Jan Reimann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
4. An introduction to analysis /
پدیدآورنده : Arlen Brown, Carl Pearcy
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical analysis,Analyse mathématique
رده :
QA300
.
B73
1995
5. Cardinal and ordinal numbers
پدیدآورنده : Sierpinski, Waclaw
کتابخانه: (طهران)
موضوع : ، Set theory,، Transfinite numbers,، Cardinal numbers,، Numbers, Ordinal
رده :
QA
248
.
S44
1958
6. Finite and Infinite Combinatorics in Sets and Logic
پدیدآورنده : edited by N.W. Sauer, R.E. Woodrow, B. Sands.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Computational complexity.,Mathematics.
7. Fundamentals of contemporary set theory /
پدیدآورنده : Keith J. Devlin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Set theory.
رده :
QA248
.
D38
8. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
9. Infinitary combinatorics and the axiom of determinateness
پدیدآورنده : Kleinberg, Eugene M.
موضوع : ، Combinatorial set theory,، Axiomatic set theory,، Cardinal numbers,، Partitions )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Infinitary combinatorics and the axiom of determinateness
پدیدآورنده : Kleinberg, Eugene M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Combinatorial set theory,، Axiomatic set theory,، Numbers, Cardinal,، Partitions )Mathematics(
رده :
QA
3
.
L28
no
.
612
11. Infinitary combinatorics and the axiom of determinateness
پدیدآورنده : Kleinberg, Eugene M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Combinatorial set theory,، Axiomatic set theory,، Numbers, Cardinal,، Partitions )Mathematics(
رده :
QA
1
.
L4
v
.
612
12. Infinitary combinatorics and the axiom of determinateness
پدیدآورنده : Kleinberg, Eugene M.
کتابخانه: (طهران)
موضوع : ، Combinatorial set theory,، Axiomatic set theory,، Cardinal numbers,، Partitions )Mathematics(
رده :
QA
3
.
L28
Vol
.
612
13. Introduction to set theory /
پدیدآورنده : Karel Hrbacek, Thomas Jech
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Set theory
رده :
QA248
.
H68
1999
14. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
15. Mathematical Reflections
پدیدآورنده : by Peter Hilton, Derek Holton, Jean Pedersen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.
16. Naive Set Theory
پدیدآورنده : by Paul R. Halmos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
17. Numbers, sets, and axioms :
پدیدآورنده : A.G. Hamilton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Arithmetic-- Foundations.,Number theory.,Set theory.,Arithmétique-- Fondements.,Ensembles, Théorie des.,Nombres, Théorie des.,Arithmetic-- Foundations.,Arithmétique-- Fondements.,Ensembles, Théorie des.,Nombres, Théorie des.,Number theory.,Set theory.
رده :
QA248
.
H27
1982
18. Set theory :
پدیدآورنده : Abhijit Dasgupta
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Point set theory.,Set theory.
رده :
QA248
.
D37
2014
19. Set theory : an introduction to large cardinals
پدیدآورنده : Drake, Frank R.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Set theory,، Numbers, Cardinal
رده :
QA
248
.
D7
20. Set theory : an introduction to large cardinals
پدیدآورنده : Drake, Frank R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Set theory,، Numbers, Cardinal
رده :
QA
248
.
D73
